Combinatorial Reasoning in Information Theory Noga Alon∗ Abstract Combinatorial techniques play a crucial role in the investigation of problems in Information Theory. We describe a few representative examples, focusing

Source URL: www.math.tau.ac.il

• Graph coloring
• NP-complete problems
• Cartesian product of graphs
• Lovász number
• Graph theory
• Induced path
• Degeneracy

Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999

Source URL: www.cl.cam.ac.uk

• Category theory
• Binary operations
• Functional programming
• F-coalgebra
• Initial algebra
• Coalgebra
• Function
• Cartesian product
• Exponentiation
• Mathematics
• Abstract algebra
• Type theory

A DISTRIBUTED, UNIVERSAL DEVICE FOR PLANAR PARTS FEEDING: UNIQUE PART ORIENTATION IN PROGRAMMABLE FORCE FIELDS Karl F. Bohringer Bruce R. Donald

Source URL: www.ee.washington.edu

• Vector calculus
• Analytic geometry
• Classical mechanics
• Euclidean vector
• Linear algebra
• Rotation matrix
• Symmetry
• Cartesian coordinate system
• Cross product
• Algebra
• Geometry
• Mathematics

Theory and Applications of Categories, Vol. 28, No. 21, 2013, pp. 616–695. ENRICHED INDEXED CATEGORIES MICHAEL SHULMAN Abstract. We develop a theory of categories which are simultaneously (1) indexed over a base categ

Source URL: www.emis.de

• Functors
• Enriched category
• Coproduct
• Cartesian closed category
• Monoidal functor
• Product
• Braided monoidal category
• Fibred category
• Monoid
• Category theory
• Algebra
• Monoidal categories

1994 Paper 11 Question 10 Discrete Mathematics Let (N, 6) be the natural numbers under the usual ordering. Assuming that (N, 6) is well-ordered, prove that the Cartesian product (N × N) is well-ordered under the derive

Source URL: www.cl.cam.ac.uk

Stochastic Kronecker Graphs Mohammad Mahdian∗ Ying Xu† Abstract

Source URL: theory.stanford.edu

• Random graph
• Degree
• Orbifold
• Cartesian product of graphs
• Graph theory
• Mathematics
• Theoretical computer science

Type Inference Using the Cartesian Product Algorithm on a Dynamically Typed Language Steve Hanov University of Waterloo 200 University Avenue West Waterloo, Ontario, Canada N2L 3G1

Source URL: stevehanov.ca

• Type theory
• Data types
• Object-oriented programming
• Compiler construction
• Theoretical computer science
• Type system
• Variable
• Data-flow analysis
• Static single assignment form
• Software engineering
• Computing
• Computer programming

Apache Spark API By Example A Command Reference for Beginners Matthias Langer, Zhen He Department of Computer Science and Computer Engineering La Trobe University

Source URL: homepage.cs.latrobe.edu.au

• Procedural programming languages
• Stack
• Function
• SPARK
• Cartesian product
• Mathematics
• Computing
• Software engineering

Virtual Laboratories > 0. Foundations >[removed][removed]Sets Set theory is the foundation of probability and statistics, as it is for almost every branch of mathematics. Sets and subsets

Source URL: www.math.uah.edu

• General topology
• Set theory
• Partially ordered set
• Cartesian product
• Naive set theory
• Equivalence relation
• Ordered pair
• Net
• Function
• Mathematics
• Mathematical logic
• Order theory

A Mathematical Formalism for the Topic Maps Reference Model Neill A. Kipp DRAFT: October 14, [removed]

Source URL: www.isotopicmaps.org

• Mathematical structures
• Matroid theory
• Algebraic structures
• Universal algebra
• Function
• Cartesian product
• Basis
• Power set
• Ring
• Mathematics
• Algebra
• Abstract algebra